partially monoidal category

См. также в других словарях:

• *-autonomous category — In mathematics, a * autonomous (read star autonomous ) category C is a symmetric monoidal closed category equipped with a dualizing object . Contents 1 Definition 2 Properties 3 Examples …   Wikipedia

• Product (category theory) — In category theory, the product of two (or more) objects in a category is a notion designed to capture the essence behind constructions in other areas of mathematics such as the cartesian product of sets, the direct product of groups, the direct… …   Wikipedia

• Dagger category — In mathematics, a dagger category (also called involutive category or category with involution [1][2]) is a category equipped with a certain structure called dagger or involution. The name dagger category was coined by Selinger[3]. Contents …   Wikipedia

• Monad (category theory) — For the uses of monads in computer software, see monads in functional programming. In category theory, a branch of mathematics, a monad, Kleisli triple, or triple is an (endo )functor, together with two natural transformations. Monads are used in …   Wikipedia

• Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… …   Wikipedia

• T-norm — In mathematics, a t norm (also T norm or, unabbreviated, triangular norm) is a kind of binary operation used in the framework of probabilistic metric spaces and in multi valued logic, specifically in fuzzy logic. A t norm generalizes intersection …   Wikipedia